(do_switch_frame): If selected frame has a mini-window,

resize that to exact size.

diff --git a/src/frame.c b/src/frame.c
index fae6f8c7b3d3063406082c1c0a153e2d7d2a7efe..6850c92dc276450aa365b754534dde08b97c28a0 100644 (file)
--- a/src/frame.c
+++ b/src/frame.c
@@ -620,6 +620,9 @@ do_switch_frame (frame, no_enter, track)
 #endif /* HAVE_X_WINDOWS */
 #endif /* ! 0 */
 
+  if (FRAME_HAS_MINIBUF_P (sf))
+    resize_mini_window (XWINDOW (FRAME_MINIBUF_WINDOW (sf)), 1);
+
   selected_frame = frame;
   if (! FRAME_MINIBUF_ONLY_P (XFRAME (selected_frame)))
     last_nonminibuf_frame = XFRAME (selected_frame);